Hash implements
    hash : a -> U64
    hash2 : a -> U64

1